﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using NetalBase.Base;
using System.Diagnostics;
using RmProto.Automata.IA;

namespace RmProto.Automata.CRA
{
	class CRc : CRAStateBase
	{
		#region ICRA Members

		public override void e_CR_init(IA.IA i)
		{
			Debug.Assert(Interpretation.InState<Ir>(i));
			DataPoint.Interpretation = i;
		}

		public override void e_CR_fc()
		{
		}

		#endregion
	}
}
